Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
171	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
172	The Functional Web Editor: Steve Vinoski • Scala Web Frameworks: Looking Beyond Lift Add to Reading List Source URL: steve.vinoski.net Language: English - Date: 2011-09-08 21:52:19 Computing Software Java platform Object-oriented programming languages Cross-platform software Scripting languages Concurrent programming languages Scalatra Scala Play Framework Lift Web framework
173	STK Reference manual Version 4.0 Erick Gallesio Universit´e de Nice - Sophia Antipolis Laboratoire I3S - CNRS URAESSI. Add to Reading List Source URL: kaolin.unice.fr Language: English - Date: 1999-10-01 11:43:26 Software engineering Computer programming Computing Object-oriented programming languages Cross-platform software Procedural programming languages High-level programming languages Functional languages Scheme Lisp Eval Tcl
174	IbexManual Alex Drummond Contents 1 Add to Reading List Source URL: spellout.net Language: English - Date: 2016-02-06 06:39:49 Software engineering Computing Computer programming World Wide Web Cross-platform software Scripting languages JavaScript Functional languages Common Gateway Interface Form Web server JSON
175	Tracing in REDUCE Herbert Melenk Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Takustraße 7 Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:44 Software engineering Computer programming Programming language theory Functional languages Lisp Trigonometric functions Subroutine Exponentiation Constructor
176	FFTW Ada Version 1.2 User and Reference Manual FFTW Ada is an Ada 95 binding to the FFTW library written at MIT by Matteo Frigo and Steven G. Johnson. FFTW is a library for computing the Fast Fourier transform, which is Add to Reading List Source URL: privatewww.essex.ac.uk Language: English - Date: 2002-07-01 11:43:52 Software engineering Computer programming Computing Functional languages FFTW Object-oriented programming languages Digital signal processing Ada Fast Fourier transform Pointer Nim Objective-C
177	Quotation and Re e tion in Nuprl and S heme Eli Barzilay (eli s. ornell.edu) Contents Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-13 03:34:39 Software engineering Computer programming Programming language theory Functional languages Biomolecules Type theory Procedural programming languages Control flow Eval Heme String literal ML
178	02157 Functional ProgrammingFunctional Programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:18:46 Programming paradigms Computing Technical University of Denmark Interface MRH Abstraction Modular programming Functional programming
179	Designing and Implementing a Framework for BDI-style Communicating Agents in Haskell (Position Paper) Alessandro Solimando and Riccardo Traverso? Dipartimento di Informatica e Scienze dell’Informazione, Università di Add to Reading List Source URL: verify.disi.unige.it Language: English - Date: 2012-11-14 14:09:06 Declarative programming Software engineering Computer programming Functional programming Monad Arrow Type class Haskell Pattern matching Multi-agent system Beliefdesireintention software model Haskell features
180	Hacking the Rust object system at Mozilla Lindsey Kuper Grinnell College April 5, 2012 1 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-04-24 00:32:15 Software engineering Computer programming Software Cross-platform software High-level programming languages Scripting languages Functional languages Perl Haskell Programming language Startup company

UPDATE